//]]>
Unhighlight Highlight
Introduction to automata theory, languages, and computation / by Hopcroft, John E., Publication: Boston, MA : Pearson/Addison Wesley, 2007 . xvii, 535 p. : 25 cm. Date:2007 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Grossi, Davide. Publication: . XII, 363 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Jain, Sanjay. Publication: . XVIII, 397 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction in Geometry by Ida, Tetsuo. Publication: . X, 193 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Informatics by Muntean, Traian. Publication: . X, 275 p. 14 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Principles and Practice of Constraint Programming by Schulte, Christian. Publication: . XVIII, 898 p. 226 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic Programming and Nonmonotonic Reasoning by Cabalar, Pedro. Publication: . XVIII, 570 p. 70 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Reasoning with Analytic Tableaux and Related Methods by Galmiche, Didier. Publication: . X, 289 p. 34 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Foundations of Computer Science 2013 by Chatterjee, Krishnendu. Publication: . XVI, 854 p. 92 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Blazy, Sandrine. Publication: . XII, 498 p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Artificial General Intelligence by Kühnberger, Kai-Uwe. Publication: . XII, 207 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Jurgensen, Helmut. Publication: . X, 289 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Konstantinidis, Stavros. Publication: . XIV, 358 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation and Natural Computation by Mauri, Giancarlo. Publication: . XVI, 262 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 Next >>
Languages: 
English |
العربية